递归不可分递归可判定decidable: adj. 可决定的，可判定的。 recursively: 递归地; 递回地decidable proposition: 可决策命题decidable subclass: 可判定子类decidable subclause: 可判定子句下载手机词典可随时随地查词查翻译
